The Hanf number of $L\sb{\omega \sb{1}\omega \sb{1}}$
نویسندگان
چکیده
منابع مشابه
The Hanf number for Amalgamation of Coloring Classes
We study amalgamation properties in a family of abstract elementary classes that we call coloring classes. The family includes the examples previously studied in [3]. We establish that the amalgamation property is equivalent to the disjoint amalgamation property in all coloring classes; find the Hanf number for the amalgamation property for coloring classes; and improve the results of [3] by sh...
متن کاملA Hanf number for saturation and omission: the superstable case
Suppose t = (T, T1, p) is a triple of two theories in vocabularies τ ⊂ τ1 with cardinality λ and a τ1-type p over the empty set. We show the Hanf number for the property: ‘There is a model M1 of T1 which omits p, but M1 τ is saturated’ is less than i (2(2 λ)+ ) + if T is superstable. We showed in [BS11] that with no stability restriction the Hanf number is essentially equal to the Löwenheim num...
متن کاملThe Hanf Number of the First Order Theory of Banach Spaces
In this paper, we discuss the possibility of developing a nice i.e. first order theory for Banach spaces: the restrictions on the set of sentences for recent compactness arguments applied to Banach spaces as well as for other model-theoretic results are both natural and necessary; without them we essentially get a second order logic with quantification over countable sets. Especially, the Hanf ...
متن کاملAn optimal construction of Hanf sentences
We give a new construction of formulas in Hanf normal form that are equivalent to first-order formulas over structures of bounded degree. This is the first algorithm whose running time is shown to be elementary. The triply exponential upper bound is complemented by a matching lower bound.
متن کاملthe effect of taftan pozzolan on the compressive strength of concrete in the environmental conditions of oman sea (chabahar port)
cement is an essential ingredient in the concrete buildings. for production of cement considerable amount of fossil fuel and electrical energy is consumed. on the other hand for generating one tone of portland cement, nearly one ton of carbon dioxide is released. it shows that 7 percent of the total released carbon dioxide in the world relates to the cement industry. considering ecological issu...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1980
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1980-0565357-7